commit 3dd939208f938cce0aa75fcd87cdb23971f28bc0
author Junio C Hamano <gitster@pobox.com> Mon Mar 05 07:49:11 2012
committer Junio C Hamano <gitster@pobox.com> Mon Mar 05 07:49:11 2012
tree 116009bedf76a4daf72bdd58029821ea25e52064
parent 81d540a73a86a44d48b7d05d8f0dd25964499181

Autogenerated HTML docs for v1.7.9.2-384-g4a92a 

git-config.html

diff --git a/git-config.html b/git-config.html index bad7693..2378479 100644 --- a/git-config.html +++ b/git-config.html @@ -3412,9 +3412,10 @@  </dt>   <dd>   <p>  - Override the HTTP proxy, normally configured using the <em>http_proxy</em>  - environment variable (see <a href="curl.html">curl(1)</a>). This can be overridden  - on a per-remote basis; see remote.&lt;name&gt;.proxy  + Override the HTTP proxy, normally configured using the <em>http_proxy</em>,  + <em>https_proxy</em>, and <em>all_proxy</em> environment variables (see  + <tt>curl(1)</tt>). This can be overridden on a per-remote basis; see  + remote.&lt;name&gt;.proxy   </p>   </dd>   <dt class="hdlist1">